21. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
موضوع : ، Proof theory,، Number theory,، Predicate calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
22. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Proof theory,، Numbers, Theory of,، Predicate calculus
رده :
QA
3
.
L28
no
.
447
23. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
1
.
L4
v
.
447
24. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann, 0491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
3
.
L28
Vol
.
447
25. Technical methods in philosophy /
پدیدآورنده : John L. Pollock.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : First-order logic.,Logic, Symbolic and mathematical.,Metatheory.,Predicate calculus.,Set theory.,Filosofie.,First-order logic.,First-order logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Mathematische Logik,Metatheory.,Metatheory.,Predicate calculus.,Predicate calculus.,Predicatenlogica.,Satz,Set theory.,Set theory.,Theorie,Verzamelingen (wiskunde)
رده :
BC135
.
P683
1990
26. The computational complexity of logical theories
پدیدآورنده : Ferrante, Jeanne
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
no
.
718
27. The computational complexity of logical theories
پدیدآورنده : Ferrante, Jeanne
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
no
.
718
28. The computational complexity of logical theories
پدیدآورنده : Ferrante, Jeanne
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Predicate calculus,، Computational complexity
رده :
QA
9
.
35
.
F4
1979
29. The computational complexity of logical theories
پدیدآورنده : Ferrante, Jeanne
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Predicate calculus,، Computational complexity
رده :
QA
1
.
L4
v
.
718
30. The computational complexity of logical theories
پدیدآورنده : Ferrante, Jeanne, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
Vol
.
718
31. Two papers on the predicate calculus
پدیدآورنده : by S.C. Kleene.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Predicate calculus.
